{# SPDX-License-Identifier: GPL-2.0 #}
		if (!xdrgen_encode_void(xdr))
			return false;
